Scheme theory - PDFSEARCH.IO - Document Search Engine

Scheme theory
Results: 835

#	Item
91	Bilinear Pairings in Cryptography Master thesis #603 by Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2009-07-13 10:25:27 Elliptic curve cryptography Pairing-based cryptography Public-key cryptography Group theory Finite fields Tate pairing Hyperelliptic curve Weil pairing BonehLynnShacham BonehFranklin scheme Pairing ID-based encryption
92	Scheme-based Theorem Discovery and Concept Invention O. Montano-Rivasa , R. McCaslanda , L. Dixona , A. Bundya a School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-11-08 18:52:08 Automated theorem proving Logic programming Logic in computer science Computability theory Algebraic topology Substitution Unification Lambda calculus Sheaf Scheme Combinatory logic Morphism of algebraic varieties
93	Seminar ‘Fano varieties and cubics: Hodge theory and derived categories’ Summer term 2013 The following is open for discussion. We may decide to shift the emphasize or dwell longer on certain aspects. Personally, I w Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2013-07-02 12:49:15 Algebraic geometry Algebra Abstract algebra Algebraic varieties Cubic threefold Rational variety Fano variety Intermediate Jacobian Cubic form Chow group Scheme
94	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
95	Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:17 Proof theory Mathematical logic Logic Mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Symbol Sequent Confidence interval
96	SIAM J. COMPUT. Vol. 43, No. 1, pp. 312–336 c 2014 Society for Industrial and Applied Mathematics Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-02-27 01:13:13 Computational complexity theory Operations research Complexity classes Polynomial-time approximation scheme Mechanism design Optimization problem Approximation algorithm Time complexity Mathematical optimization Exact algorithm Single-parameter utility Perturbation theory
97	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
98	Human-inspired Walking via Unified PD and Impedance Control Wen-Loong Ma1 , Hui-Hua Zhao1 , Shishir Kolathaya1 and Aaron D. Ames2 Abstract— This paper describes a torque control scheme unifying feedback PD control and Add to Reading List Source URL: www.bipedalrobotics.com Language: English - Date: 2014-02-02 20:48:39 Science Physical quantities Torque Robotics Feedforward control Control theory Humanoid robot PID controller Motion planning Physics Rotation Systems theory
99	Microsoft Word - nljul2005_2_.doc Add to Reading List Source URL: www.barc.gov.in Language: English - Date: 2012-08-10 06:17:36 Dynamical system Logistic map Cipher Public-key cryptography Integrated Encryption Scheme Key Butterfly effect Index of cryptography articles Probabilistic encryption Cryptography Chaos theory Lorenz attractor
100	Unfair Noisy Channels and Oblivious Transfer Ivan Damg˚ ard1 , Serge Fehr2? , Kirill Morozov1, and Louis Salvail1?? BRICS? ? ? , FICS † , Aarhus University, Denmark {ivan,kirill,salvail}@brics.dk ACAC‡ , Department Add to Reading List Source URL: imi.kyushu-u.ac.jp Language: English - Date: 2003-12-16 03:09:30 Cryptography Commitment scheme Channel Data Noisy-channel coding theorem Transmission Control Protocol Information theory Telecommunications engineering Information

UPDATE